1. A dictionary of the Internet
پدیدآورنده: Ince, D. )Darrel(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: Dictionaries ، Internet,Terminology Dictionaries ، Internet
رده :
Ref
TK
5105
.
875
.
I57
I48
2003
2. An Introductionn to Discrete Mathematics, Formal System Specification and Z
پدیدآورنده: / C.C. Ince
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer science _ Mathematics.,System Design.
رده :
QA76
,.
9
.
M
35
3. An introduction to discrete mathematics and formal system specification
پدیدآورنده : Ince, Darrel
موضوع : ، Computer science - Mathematics,، System design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده: Ince, D.)Darrel(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1992
5. An introduction to discrete mathematics formal system specification, and z
پدیدآورنده: / D.C.Ince
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science-Mathematics,System design
رده :
QA76
.
9
.
M35
,
153
1992
6. An introduction to discrete mathematics, specification, and Z
پدیدآورنده: Ince, D. )Darrel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics,، System design
رده :
QA
76
.
9
.
M35
.
I53
1992
7. Developing distributed and E-commerce applications
پدیدآورنده: / Darrel Ince
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Electronic commerce - Computer programs,Application software - Development
رده :
QA
76
.
9
.
D5I525
2004
8. Introduction to software project management and quality assurance
پدیدآورنده: Ince, D. )Darrel(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Software engineering- Management,، Computer software- Quality control
رده :
QA
76
.
758
.
I53
1993
9. Mechanical intelligence
پدیدآورنده: Turing, Alan Mathison, 2191- 4591.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Artificial intelligence
رده :
Q
335
.
5
.
T87
1992
10. Mechanical intelligence
پدیدآورنده: Turing, Alan Mathison, 2191-4591
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Artificial intelligence
رده :
Q
335
.
5
.
T87
11. Object-oriented software engineering with C++
پدیدآورنده: Ince, D. )Darrel(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Object-oriented programming,، Software engineering,، C b++ s )Computer program language(
رده :
QA
76
.
64
.
I53
1991
12. Practical formal methods with VDM
پدیدآورنده: Andrews, Derek.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computer software- Development
رده :
QA
76
.
76
.
D47A52
1991
13. Programming the Internet with Java
پدیدآورنده : Ince, D. )Darrel(
موضوع : ، Java )Computer program language(,، Internet programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
14. Software prototyping, formal methods, and VDM
پدیدآورنده: Hekmatpour, Sharam
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Development
رده :
QA
76
.
76
.
D47
.
H45
1988
15. Software quality and reliability
پدیدآورنده: / edited by Darrel Ince
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Computer software-- Quality control,Computer software-- Reliability-- Congresses
رده :
QA
76
.
76
.
Q35S6
1991
